home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / modprolg / mod-prol.lha / Prolog / DISTRIBUTION < prev    next >
Text File  |  1992-06-17  |  2KB  |  51 lines
  1.  
  2.                              MODULAR SB-PROLOG
  3.                              =================
  4.  
  5. This file describes how to obtain a version of SB-Prolog (version 3.1) extended
  6. with module facilities patterned after those described in:
  7.  
  8. "A Calculus for the Construction of Modular Prolog Programs",
  9.    D T Sannella and L A Wallen, The Journal of Logic Programming 1992,
  10.    Volume 12, Nos 1 and 2, pp 147-178.
  11.  
  12. The system is known to work on Sun-4's (SPARCstations) and is known NOT to work
  13. on Sun-3's; nothing is known about other machines.
  14.  
  15.  
  16. FTP distribution instructions
  17. -----------------------------
  18.  
  19. The primary means of distributing the system is anonymous internet ftp
  20. from host ftp.dcs.ed.ac.uk (address 129.215.160.5), directory pub/dts.
  21.  
  22. The file pub/dts/mod-prolog.tar.Z is a compressed tar file containing this
  23. file (called DISTRIBUTION), documentation, the source code, examples, etc.
  24.  
  25. ***************************************************************************
  26. NOTE: Ftp should be put into binary mode before transferring the compressed
  27. tar file.
  28. ***************************************************************************
  29.  
  30. Here is a sample dialog:
  31.  
  32.    ftp ftp.dcs.ed.ac.uk
  33.    Name: anonymous
  34.    Password: <your name@host>
  35.    ftp> binary
  36.    ftp> cd pub/dts
  37.    ftp> get mod-prolog.tar.Z
  38.    ftp> bye
  39.  
  40. After the file is transferred it should be uncompressed and then extracted
  41. using tar.  For example:
  42.  
  43.    zcat mod-prolog.tar.Z | tar fox -
  44.  
  45. The file mod-prolog/README will then contain instructions for installing the
  46. system and a more detailed description of what is available.
  47.  
  48. Brian Paxton
  49. University of Edinburgh
  50. mprolog@dcs.ed.ac.uk
  51.